81. Mathematical problems from applied logic I :
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.
رده :
QA9
.
A1
M38
2006eb
82. Mathematical problems from applied logic I
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ;
83. Mathematical problems from applied logic : logics for the XXIst century
پدیدآورنده : edited by Dov M. Gabbay, Sergi S. Goncharov, and Michael Zakharyaschev
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M28
84. Neural-symbolic cognitive reasoning
پدیدآورنده : D'Avila Garcez, Artur S., 0791-
کتابخانه: (طهران)
موضوع : ، Neural networks )Computer science(,، Artificial intelligence
رده :
QA
76
.
87
.
D29N4
85. Philosophy of Complex Systems
پدیدآورنده : / Gabbay, Dov M.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
86. Practical reasoning
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Automatic theorem provingCongresses,Practical reasonCongresses,ReasoningCongresses,Artificial intelligenceCongresses
رده :
QA
,
76
.
9
,.
A96I575
87. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June 3-7, 1996 : proceedings
پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Reasoning,Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
1085
88. Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996 : proceedings
پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: (طهران)
موضوع : Automatic theorem proving - Congresses , Reasoning - Congresses , Artificial intelligence - Congresses
رده :
QA
76
.
9
.
A96
I575
1996
89. Proof Theory for Fuzzy Logics
پدیدآورنده : \ by George Metcalfe, Nicola Olivetti, Dov Gabbay.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Fuzzy logic.,Proof theory.,منطق فازی
رده :
E-Book
,
90. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48
2009
91. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George
کتابخانه: (طهران)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48P7
92. Proof theory for fuzzy logics
پدیدآورنده : Metcalfe, George.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Fuzzy logic,، Proof theory
رده :
QA
9
.
64
.
M48
2009
93. Proof theory for fuzzy logics
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Fuzzy logic. ; Proof theory. ;
94. Qualitative and quantitative practical reasoning : first International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997 : proceedings
پدیدآورنده : Dov M. Gabbay...]et al.[, )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Qualitative reasoning,Congresses ، Problem solving
رده :
QA
76
.
L28
Vol
.
1244
95. Reactive Kripke Semantics
پدیدآورنده : / Dov M. Gabbay
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
96. Revision, Acceptability and Context
پدیدآورنده : / Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
97. Revision, Acceptability and Context: Theoretical and Algorithmic Aspects
پدیدآورنده : / Dov M. Gabbay, Odinaldo T. Rodrigues, Alessandra Russo (auth.)
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
98. Semantical Investigations in Heyting's Intuitionistic Logic
پدیدآورنده : by Dov M. Gabbay.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Philosophy (General),Semantics.
99. Semantical investigations in Heyting's intuitionistic logic
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: (طهران)
موضوع : ، Intuitionistic mathematics
رده :
QA
9
.
47
.
G22S4
100. Temporal Logic :
پدیدآورنده : edited by Dov M. Gabbay, Hans Jürgen Ohlbach.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Database management.,Logic design.
رده :
QA76
.
6
E358
1994
